1pt 1pt

options 

=6pt plus .5pt minus .5pt

by 10pt 0pt

2pt18pt plus 1pt 10pt plus 2pt minus 1pt =1.4 maxsep 15pt dblmaxsep 15pt fptop 0pt plus 0fil fpsep 10pt plus 0fil fpbot 0pt plus 3fil dblfptop 0pt plus 0fil dblfpsep 10pt plus 0fil dblfpbot 0pt plus 3fil 5pt

@ plus .3pt lowpenalty 51 medpenalty 151 highpenalty 301 beginparpenalty -lowpenalty endparpenalty -lowpenalty itempenalty -lowpenalty =0 =10000

indentskip footindent leftskip indentskip=2.5em =1em footindent= leftskip=@

@ @ @ listi  =

[] =

namedefproof*Proof. namedefendproof*

5pt 3pt .5pt 1.5pt mpfootins = 0pt = 3pt = .5pt

@restonecol

float float namedeftable*dblfloattable namedefendtable*@twocolumn floatpenalty <@ consdbldeferlistcurrbox floatpenalty =-Mii esphackfloat @floatfalse float namedeffigure*dblfloatfigure namedefendfigure*@twocolumn floatpenalty <@ consdbldeferlistcurrbox floatpenalty =-Mii esphackfloat @floatfalse @float @floatfalse

haligntoto =plus 1filtabular



=

internalcite##1##1internalcite

mkbothoddheadshorttitle oddfoot evenheadshortauthor evenfootoddfoot ##1 ##1 =

== = == =

="2@ 00 &plusb#boxplus;="2@ 01 ×b#boxtimes;="2@ 02 &square#square;="0@ 03 &squf#blacksquare;="0@ 04 &loz#lozenge;="0@ 06 &lozf#blacklozenge;="0@ 07 &minusb#boxminus;="2@ 0C &ges#geqslant;="3@ 3E &les#leqslant;="3@ 36 &vrtri#vartriangleright;="3@ 42 &vltri#vartriangleleft;="3@ 43 &dtrif#blacktriangledown;="0@ 48 &rtrif#blacktriangleright;="3@ 49 <rif#blacktriangleleft;="3@ 4A &utrif#blacktriangle;="0@ 4E ="0@ 4F &planck#hslash;="0@ 7D

---